export type TypeDef = number;
